(* Content-type: application/vnd.wolfram.mathematica *)

(*** Wolfram Notebook File ***)
(* http://www.wolfram.com/nb *)

(* CreatedBy='Mathematica 10.4' *)

(*CacheID: 234*)
(* Internal cache information:
NotebookFileLineBreakTest
NotebookFileLineBreakTest
NotebookDataPosition[       158,          7]
NotebookDataLength[     16559,        571]
NotebookOptionsPosition[     11348,        404]
NotebookOutlinePosition[     14683,        502]
CellTagsIndexPosition[     14569,        496]
WindowTitle->Commutator
WindowFrame->Normal*)

(* Beginning of Notebook Content *)
Notebook[{
Cell[BoxData[GridBox[{
   {Cell["FEYN CALC SYMBOL", "PacletNameCell"], Cell[TextData[{
     Cell[BoxData[
      ActionMenuBox[
       FrameBox[
        InterpretationBox[Cell[TextData[{
          "See Also",
          StyleBox[" \[FilledDownTriangle]", "AnchorBarArrow",
           StripOnInput->False]
         }]],
         TextCell[
          Row[{"See Also", 
            Style[" \[FilledDownTriangle]", "AnchorBarArrow"]}]]],
        StripOnInput->False], {"\<\"AntiCommutator\"\>":>
       Documentation`HelpLookup[
       "paclet:FeynCalc/ref/AntiCommutator"], "\<\"CommutatorExplicit\"\>":>
       Documentation`HelpLookup[
       "paclet:FeynCalc/ref/CommutatorExplicit"], \
"\<\"DeclareNonCommutative\"\>":>Documentation`HelpLookup[
       "paclet:FeynCalc/ref/DeclareNonCommutative"], "\<\"DotSimplify\"\>":>
       Documentation`HelpLookup["paclet:FeynCalc/ref/DotSimplify"]},
       Appearance->None,
       MenuAppearance->Automatic,
       MenuStyle->"SeeAlso"]],
      LineSpacing->{1.4, 0}],
     "\[ThickSpace]\[ThickSpace]\[ThickSpace]\[ThickSpace]\[ThickSpace]\
\[ThickSpace]",
     Cell[BoxData[
      ActionMenuBox[
       FrameBox[
        InterpretationBox[Cell[TextData[{
          "URL",
          StyleBox[" \[FilledDownTriangle]", "AnchorBarArrow",
           StripOnInput->False]
         }]],
         TextCell[
          Row[{"URL", 
            Style[" \[FilledDownTriangle]", "AnchorBarArrow"]}]]],
        StripOnInput->False], {"\<\"FeynCalc/ref/Commutator\"\>":>
       None, "\<\"Copy Wolfram Documentation Center URL\"\>":>
       Module[{DocumentationSearch`Private`nb$}, 
        DocumentationSearch`Private`nb$ = NotebookPut[
           Notebook[{
             Cell["FeynCalc/ref/Commutator"]}, Visible -> False]]; 
        SelectionMove[DocumentationSearch`Private`nb$, All, Notebook]; 
        FrontEndTokenExecute[DocumentationSearch`Private`nb$, "Copy"]; 
        NotebookClose[DocumentationSearch`Private`nb$]; Null], 
       Delimiter, "\<\"Copy web URL\"\>":>
       Module[{DocumentationSearch`Private`nb$}, 
        DocumentationSearch`Private`nb$ = NotebookPut[
           Notebook[{
             Cell[
              BoxData[
               MakeBoxes[
                Hyperlink[
                "http://reference.wolfram.com/language/FeynCalc/ref/\
Commutator.html"], StandardForm]], "Input", TextClipboardType -> 
              "PlainText"]}, Visible -> False]]; 
        SelectionMove[DocumentationSearch`Private`nb$, All, Notebook]; 
        FrontEndTokenExecute[DocumentationSearch`Private`nb$, "Copy"]; 
        NotebookClose[DocumentationSearch`Private`nb$]; 
        Null], "\<\"Go to web URL\"\>":>FrontEndExecute[{
         NotebookLocate[{
           URL[
            StringJoin[
             If[
              TrueQ[DocumentationBuild`Make`Private`wsmlinkQ$44258], 
              "http://reference.wolfram.com/system-modeler/", 
              "http://reference.wolfram.com/language/"], 
             "FeynCalc/ref/Commutator", ".html"]], None}]}]},
       Appearance->None,
       MenuAppearance->Automatic,
       MenuStyle->"URLMenu"]],
      LineSpacing->{1.4, 0}]
    }], "AnchorBar"]}
  }]], "AnchorBarGrid",
 GridBoxOptions->{GridBoxItemSize->{"Columns" -> {
     Scaled[0.65], {
      Scaled[0.34]}}, "ColumnsIndexed" -> {}, "Rows" -> {{1.}}, 
   "RowsIndexed" -> {}}},
 CellID->1],

Cell[TextData[{
 Cell["Commutator", "ObjectName"],
 Cell[BoxData[
  InterpretationBox[
   StyleBox[
    GraphicsBox[{},
     BaselinePosition->Baseline,
     ImageSize->{8, 0}],
    CacheGraphics->False],
   Spacer[8]]]],
 Cell[BoxData[""], "ObjectNameTranslation"]
}], "ObjectNameGrid"],

Cell[BoxData[GridBox[{
   {"", Cell[TextData[{
     Cell[BoxData[
      RowBox[{
       RowBox[{"Commutator", "[", 
        RowBox[{"x", ",", " ", "y"}], "]"}], "=", "c"}]], "InlineFormula"],
     " \[LineSeparator]defines the commutator between the (non-commuting) \
objects ",
     Cell[BoxData["x"], "InlineFormula"],
     " and ",
     Cell[BoxData["y"], "InlineFormula"],
     ". "
    }]]}
  }]], "Usage",
 GridBoxOptions->{
 GridBoxBackground->{
  "Columns" -> {{None}}, "ColumnsIndexed" -> {}, "Rows" -> {{None}}, 
   "RowsIndexed" -> {}}},
 CellID->982511436],

Cell[CellGroupData[{

Cell[TextData[{
 Cell[BoxData[
  InterpretationBox[
   StyleBox[
    GraphicsBox[{},
     BaselinePosition->Baseline,
     ImageSize->{6, 0}],
    CacheGraphics->False],
   Spacer[6]]]],
 "Examples",
 "\[NonBreakingSpace]\[NonBreakingSpace]",
 Cell["(1)", "ExampleCount"]
}], "PrimaryExamplesSection",
 WholeCellGroupOpener->True,
 CellTags->"PrimaryExamplesSection",
 CellID->200786218],

Cell[CellGroupData[{

Cell[TextData[{
 "Basic Examples",
 "\[NonBreakingSpace]\[NonBreakingSpace]",
 Cell["(1)", "ExampleCount"]
}], "ExampleSection", "ExampleSection",
 WholeCellGroupOpener->True,
 CellID->776860237],

Cell[BoxData[
 RowBox[{"DeclareNonCommutative", "[", 
  RowBox[{"a", ",", "b", ",", "c", ",", "d"}], "]"}]], "Input",
 CellTags->"Commutator",
 CellLabel->"In[1]:=",
 CellID->2000059968],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Commutator", "[", 
  RowBox[{"a", ",", "b"}], "]"}]], "Input",
 CellTags->"Commutator",
 CellLabel->"In[2]:=",
 CellID->922767227],

Cell[BoxData[
 FormBox[
  RowBox[{"[", "\[NoBreak]", 
   FormBox["a",
    TraditionalForm], "\[NoBreak]", ",", 
   FormBox["b",
    TraditionalForm], "\[NoBreak]", "]"}], TraditionalForm]], "Output",
 ImageSize->{46, 16},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"Commutator",
 CellLabel->"Out[2]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"CommutatorExplicit", "[", "%", "]"}]], "Input",
 CellTags->"Commutator",
 CellLabel->"In[3]:=",
 CellID->1899692439],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{"a", ".", "b"}], "-", 
   RowBox[{"b", ".", "a"}]}], TraditionalForm]], "Output",
 ImageSize->{74, 14},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"Commutator",
 CellLabel->"Out[3]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"DotSimplify", "[", 
   RowBox[{"Commutator", "[", 
    RowBox[{
     RowBox[{"a", "+", "b"}], ",", 
     RowBox[{"c", "+", "d"}]}], "]"}], "]"}], " "}]], "Input",
 CellTags->"Commutator",
 CellLabel->"In[4]:=",
 CellID->1084501087],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{"a", ".", "c"}], "-", 
   RowBox[{"c", ".", "a"}], "+", 
   RowBox[{"a", ".", "d"}], "-", 
   RowBox[{"d", ".", "a"}], "+", 
   RowBox[{"b", ".", "c"}], "-", 
   RowBox[{"c", ".", "b"}], "+", 
   RowBox[{"b", ".", "d"}], "-", 
   RowBox[{"d", ".", "b"}]}], TraditionalForm]], "Output",
 ImageSize->{332, 14},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"Commutator",
 CellLabel->"Out[4]="]
}, Open  ]],

Cell[BoxData[
 RowBox[{"UnDeclareNonCommutative", "[", 
  RowBox[{"a", ",", "b", ",", "c", ",", "d"}], "]"}]], "Input",
 CellTags->"Commutator",
 CellLabel->"In[5]:=",
 CellID->1895253329],

Cell["Verify the Jacobi identity.", "Notes"],

Cell[BoxData[
 RowBox[{
  RowBox[{"\[Chi]", "=", "Commutator"}], ";", " ", 
  RowBox[{"DeclareNonCommutative", "[", 
   RowBox[{"x", ",", "y", ",", "z"}], "]"}], ";"}]], "Input",
 CellTags->"Commutator",
 CellLabel->"In[6]:=",
 CellID->1446605314],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"\[Chi]", "[", 
   RowBox[{"x", ",", 
    RowBox[{"\[Chi]", "[", 
     RowBox[{"y", ",", "z"}], "]"}]}], "]"}], "+", 
  RowBox[{"\[Chi]", "[", 
   RowBox[{"y", ",", 
    RowBox[{"\[Chi]", "[", 
     RowBox[{"z", ",", "x"}], "]"}]}], "]"}], "+", 
  RowBox[{"\[Chi]", "[", 
   RowBox[{"z", ",", 
    RowBox[{"\[Chi]", "[", 
     RowBox[{"x", ",", "y"}], "]"}]}], "]"}]}]], "Input",
 CellTags->"Commutator",
 CellLabel->"In[7]:=",
 CellID->698764152],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{"[", "\[NoBreak]", 
    FormBox["x",
     TraditionalForm], "\[NoBreak]", ",", 
    FormBox[
     RowBox[{"[", "\[NoBreak]", 
      FormBox["y",
       TraditionalForm], "\[NoBreak]", ",", 
      FormBox["z",
       TraditionalForm], "\[NoBreak]", "]"}],
     TraditionalForm], "\[NoBreak]", "]"}], "+", 
   RowBox[{"[", "\[NoBreak]", 
    FormBox["y",
     TraditionalForm], "\[NoBreak]", ",", 
    FormBox[
     RowBox[{"[", "\[NoBreak]", 
      FormBox["z",
       TraditionalForm], "\[NoBreak]", ",", 
      FormBox["x",
       TraditionalForm], "\[NoBreak]", "]"}],
     TraditionalForm], "\[NoBreak]", "]"}], "+", 
   RowBox[{"[", "\[NoBreak]", 
    FormBox["z",
     TraditionalForm], "\[NoBreak]", ",", 
    FormBox[
     RowBox[{"[", "\[NoBreak]", 
      FormBox["x",
       TraditionalForm], "\[NoBreak]", ",", 
      FormBox["y",
       TraditionalForm], "\[NoBreak]", "]"}],
     TraditionalForm], "\[NoBreak]", "]"}]}], TraditionalForm]], "Output",
 ImageSize->{255, 16},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"Commutator",
 CellLabel->"Out[7]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"DotSimplify", "[", "%", "]"}]], "Input",
 CellTags->"Commutator",
 CellLabel->"In[8]:=",
 CellID->1391154075],

Cell[BoxData[
 FormBox["0", TraditionalForm]], "Output",
 ImageSize->{13, 14},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"Commutator",
 CellLabel->"Out[8]="]
}, Open  ]],

Cell[BoxData[
 RowBox[{"Clear", "[", "\[Chi]", "]"}]], "Input",
 CellTags->"Commutator",
 CellLabel->"In[9]:=",
 CellID->1837954422],

Cell[BoxData[
 RowBox[{"UnDeclareNonCommutative", "[", 
  RowBox[{"x", ",", "y", ",", "z"}], "]"}]], "Input",
 CellTags->"Commutator",
 CellLabel->"In[10]:=",
 CellID->2037252072]
}, Open  ]],

Cell["", "SectionFooterSpacer"]
}, Open  ]],

Cell[CellGroupData[{

Cell[TextData[{
 Cell[BoxData[
  InterpretationBox[
   StyleBox[
    GraphicsBox[{},
     BaselinePosition->Baseline,
     ImageSize->{6, 0}],
    CacheGraphics->False],
   Spacer[6]]]],
 "See Also"
}], "SeeAlsoSection",
 WholeCellGroupOpener->True,
 CellID->1255426704],

Cell[TextData[{
 StyleBox[ButtonBox["AntiCommutator",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/AntiCommutator",
  ButtonNote->"AntiCommutator"],
  FontFamily->"Verdana"],
 ", ",
 StyleBox[ButtonBox["CommutatorExplicit",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/CommutatorExplicit",
  ButtonNote->"CommutatorExplicit"],
  FontFamily->"Verdana"],
 ", ",
 StyleBox[ButtonBox["DeclareNonCommutative",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/DeclareNonCommutative",
  ButtonNote->"DeclareNonCommutative"],
  FontFamily->"Verdana"],
 ", ",
 StyleBox[ButtonBox["DotSimplify",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/DotSimplify",
  ButtonNote->"DotSimplify"],
  FontFamily->"Verdana"],
 "."
}], "SeeAlso"]
}, Open  ]],

Cell[" ", "FooterCell"]
},
Saveable->False,
ScreenStyleEnvironment->"Working",
WindowSize->{725, 750},
WindowMargins->{{-10, Automatic}, {Automatic, -8}},
WindowTitle->"Commutator",
TaggingRules->{
 "ModificationHighlight" -> False, "ColorType" -> "SymbolColor", "LinkTrails" -> 
  GridBox[{{
      RowBox[{
        ButtonBox[
        "FeynCalc", ButtonData -> "paclet:FeynCalc/guide/FeynCalc", 
         BaseStyle -> {"Link", "DockedLinkTrail"}]}]}}, ColumnAlignments -> 
    Left], "HasOptions" -> False, "ExampleCounter" -> 1, "NeedPlatMsgIn" -> 
  None, "RootCaptions" -> "", 
  "Metadata" -> {
   "built" -> "{2020, 6, 20, 19, 3, 6.772518}", 
    "history" -> {"9.0", "", "", ""}, "context" -> "FeynCalc`", 
    "keywords" -> {}, "specialkeywords" -> {}, 
    "tutorialcollectionlinks" -> {}, "index" -> True, "label" -> 
    "Feyn Calc Symbol", "language" -> "en", "paclet" -> "FeynCalc", "status" -> 
    "None", "summary" -> 
    "Commutator[x, y] = c defines the commutator between the (non-commuting) \
objects x and y. ", "synonyms" -> {}, "tabletags" -> {}, "title" -> 
    "Commutator", "titlemodifier" -> "", "windowtitle" -> "Commutator", 
    "type" -> "Symbol", "uri" -> "FeynCalc/ref/Commutator"}, 
  "SearchTextTranslated" -> ""},
CellContext->"Global`",
FrontEndVersion->"10.4 for Linux x86 (64-bit) (April 11, 2016)",
StyleDefinitions->Notebook[{
   Cell[
    StyleData[
    StyleDefinitions -> FrontEnd`FileName[{"Wolfram"}, "Reference.nb"]]], 
   Cell[
    StyleData["Input"], CellContext -> "Global`"], 
   Cell[
    StyleData["Output"], CellContext -> "Global`"]}, Visible -> False, 
  FrontEndVersion -> "10.4 for Linux x86 (64-bit) (April 11, 2016)", 
  StyleDefinitions -> "Default.nb"]
]
(* End of Notebook Content *)

(* Internal cache information *)
(*CellTagsOutline
CellTagsIndex->{
 "PrimaryExamplesSection"->{
  Cell[4818, 138, 387, 15, 31, "PrimaryExamplesSection",
   CellTags->"PrimaryExamplesSection",
   CellID->200786218]},
 "Commutator"->{
  Cell[5428, 165, 186, 5, 27, "Input",
   CellTags->"Commutator",
   CellID->2000059968],
  Cell[5639, 174, 154, 5, 27, "Input",
   CellTags->"Commutator",
   CellID->922767227],
  Cell[5796, 181, 334, 11, 37, "Output",
   CellTags->"Commutator"],
  Cell[6167, 197, 140, 4, 27, "Input",
   CellTags->"Commutator",
   CellID->1899692439],
  Cell[6310, 203, 262, 9, 35, "Output",
   CellTags->"Commutator"],
  Cell[6609, 217, 266, 9, 27, "Input",
   CellTags->"Commutator",
   CellID->1084501087],
  Cell[6878, 228, 467, 15, 35, "Output",
   CellTags->"Commutator"],
  Cell[7360, 246, 188, 5, 27, "Input",
   CellTags->"Commutator",
   CellID->1895253329],
  Cell[7598, 255, 247, 7, 27, "Input",
   CellTags->"Commutator",
   CellID->1446605314],
  Cell[7870, 266, 481, 16, 27, "Input",
   CellTags->"Commutator",
   CellID->698764152],
  Cell[8354, 284, 1143, 37, 37, "Output",
   CellTags->"Commutator"],
  Cell[9534, 326, 133, 4, 27, "Input",
   CellTags->"Commutator",
   CellID->1391154075],
  Cell[9670, 332, 191, 6, 35, "Output",
   CellTags->"Commutator"],
  Cell[9876, 341, 132, 4, 70, "Input",
   CellTags->"Commutator",
   CellID->1837954422],
  Cell[10011, 347, 179, 5, 70, "Input",
   CellTags->"Commutator",
   CellID->2037252072]}
 }
*)
(*CellTagsIndex
CellTagsIndex->{
 {"PrimaryExamplesSection", 13164, 448},
 {"Commutator", 13301, 452}
 }
*)
(*NotebookFileOutline
Notebook[{
Cell[582, 21, 3350, 80, 53, "AnchorBarGrid",
 CellID->1],
Cell[3935, 103, 287, 11, 45, "ObjectNameGrid"],
Cell[4225, 116, 568, 18, 85, "Usage",
 CellID->982511436],
Cell[CellGroupData[{
Cell[4818, 138, 387, 15, 31, "PrimaryExamplesSection",
 CellTags->"PrimaryExamplesSection",
 CellID->200786218],
Cell[CellGroupData[{
Cell[5230, 157, 195, 6, 26, "ExampleSection",
 CellID->776860237],
Cell[5428, 165, 186, 5, 27, "Input",
 CellTags->"Commutator",
 CellID->2000059968],
Cell[CellGroupData[{
Cell[5639, 174, 154, 5, 27, "Input",
 CellTags->"Commutator",
 CellID->922767227],
Cell[5796, 181, 334, 11, 37, "Output",
 CellTags->"Commutator"]
}, Open  ]],
Cell[CellGroupData[{
Cell[6167, 197, 140, 4, 27, "Input",
 CellTags->"Commutator",
 CellID->1899692439],
Cell[6310, 203, 262, 9, 35, "Output",
 CellTags->"Commutator"]
}, Open  ]],
Cell[CellGroupData[{
Cell[6609, 217, 266, 9, 27, "Input",
 CellTags->"Commutator",
 CellID->1084501087],
Cell[6878, 228, 467, 15, 35, "Output",
 CellTags->"Commutator"]
}, Open  ]],
Cell[7360, 246, 188, 5, 27, "Input",
 CellTags->"Commutator",
 CellID->1895253329],
Cell[7551, 253, 44, 0, 32, "Notes"],
Cell[7598, 255, 247, 7, 27, "Input",
 CellTags->"Commutator",
 CellID->1446605314],
Cell[CellGroupData[{
Cell[7870, 266, 481, 16, 27, "Input",
 CellTags->"Commutator",
 CellID->698764152],
Cell[8354, 284, 1143, 37, 37, "Output",
 CellTags->"Commutator"]
}, Open  ]],
Cell[CellGroupData[{
Cell[9534, 326, 133, 4, 27, "Input",
 CellTags->"Commutator",
 CellID->1391154075],
Cell[9670, 332, 191, 6, 35, "Output",
 CellTags->"Commutator"]
}, Open  ]],
Cell[9876, 341, 132, 4, 70, "Input",
 CellTags->"Commutator",
 CellID->1837954422],
Cell[10011, 347, 179, 5, 70, "Input",
 CellTags->"Commutator",
 CellID->2037252072]
}, Open  ]],
Cell[10205, 355, 31, 0, 70, "SectionFooterSpacer"]
}, Open  ]],
Cell[CellGroupData[{
Cell[10273, 360, 270, 12, 70, "SeeAlsoSection",
 CellID->1255426704],
Cell[10546, 374, 760, 25, 70, "SeeAlso"]
}, Open  ]],
Cell[11321, 402, 23, 0, 70, "FooterCell"]
}
]
*)

(* End of internal cache information *)

